Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
81	02157 Functional ProgrammingFunctional Programming Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-01-17 16:57:52 Software engineering Computer programming Computing Functional programming Data types Control flow Eval Lambda calculus Subroutines Interpreter Higher-order function ECL programming language
82	Microsoft PowerPoint - lecture-oop3-sp05v3.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-11-17 08:38:22 Software engineering Lambda calculus Anonymous function Functional programming Subroutines Computing Computer programming
83	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science
84	FW micro loan application form Oct 2015 web.indd Add to Reading List Source URL: www.financewales.co.uk Language: English - Date: 2015-11-10 08:32:35 Expected value Limit of a function Lambda calculus
85	Modular Static Analysis with Zonotopes Eric Goubault, Sylvie Putot, and Franck V´edrine CEA Saclay Nano-INNOV, CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point Courrier 174, 91191 Gif su Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2013-01-29 06:03:28 Mathematics Affine geometry Affine arithmetic Affine space Lambda calculus Abstract interpretation Function
86	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
87	Introduction to Type Theory Herman Geuvers Radboud University Nijmegen, The Netherlands Technical University Eindhoven, The Netherlands 1 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2011-09-23 10:50:36 Mathematics Mathematical logic Theoretical computer science Computability theory Proof theory Logic in computer science Type theory Logic programming Lambda calculus CurryHoward correspondence Substitution Generalised Whitehead product
88	Evaluation strategies for monadic computations Tomas Petricek Computer Laboratory University of Cambridge United Kingdom Add to Reading List Source URL: arxiv.org Language: English - Date: 2012-02-14 20:56:25 Software engineering Declarative programming Computer programming Functional programming Monad Evaluation strategy Lambda calculus Adjoint functors Haskell Type class Ur
89	Tool Supported OCL Refactoring Catalogue Jan Reimann, Claas Wilke, Birgit Demuth, Michael Muck, Uwe Aßmann Technische Universität Dresden Institut für Software- und Multimediatechnik D-01062, Dresden, Germany Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-30 10:16:27 Software engineering Computing ISO standards Software Unified Modeling Language Object Constraint Language ECO Code refactoring Lambda calculus OCL Null Let expression
90	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic